Model theory for infinite quantifier languages
نویسندگان
چکیده
منابع مشابه
Quantifier Alternation for Infinite Words
We investigate the expressive power of the quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes Σi (sentences having at most i blocks of quantifiers starting with an ∃) and BΣi (Boolean combinations of Σi sentences). So far, this expressive power has been effectively characterized for the lower levels only. Recently, a breakthrough was made over ...
متن کاملInfinite Time Computable Model Theory
We introduce infinite time computable model theory, the computable model theory arising with infinite time Turing machines, which provide infinitary notions of computability for structures built on the reals R. Much of the finite time theory generalizes to the infinite time context, but several fundamental questions, including the infinite time computable analogue of the Completeness Theorem, t...
متن کاملSeparating Regular Languages with Two Quantifier Alternations
We investigate the quantifier alternation hierarchy of first-order logic over finite words. To do so, we rely on the separation problem. For each level in the hierarchy, this problem takes two regular languages as input and asks whether there exists a formula of the level that accepts all words in the first language and no word in the second one. Usually, obtaining an algorithm that solves this...
متن کاملLanguages vs . ω - Languages in Regular Infinite
Infinite games are studied in a format where two players, called Player 1 and Player 2, generate a play by building up an ω-word as they choose letters in turn. A game is specified by the ω-language which contains the plays won by Player 2. We analyze ω-languages generated from certain classes K of regular languages of finite words (called ∗-languages), using natural transformations of ∗-langua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1990
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-134-2-125-142